Propositional calculus

An extension of the propositional calculus system of medium logic (ⅱ)

中介逻辑命题演算的扩张（Ⅱ）

Tree Diagram of Temporal Propositional Calculus and It 's Application

时态命题演算T1的树枝图及其应用

Application of Wu 's Method in Propositional Calculus

吴方法在命题逻辑中的应用

This paper deals with the formal system of propositional calculus of medium logic ( MP ) .

本文讨论了中介逻辑命题演算（MP）的形式系统。

On the propositional calculus on analysis

关于分析中的命题演算

Semanteme and Characteristics of Propositional Calculus plus Syllogistic System

命题演算加三段论系统的语义与特征

An axiom system for the propositional calculus

命题演算的一系公理

Inconsistency of the classical axioms in fuzzy propositional calculus

经典公理系统在模糊命题演算中的不和谐性

Some axiom systems for propositional calculus

命题演算的公理系统

The relations between propositional calculus of classical logic ( P ) and medium logic ( MP ~ ) have been obtained .

文中推论2说明了MP~与经典逻辑的命题演算系统（P~）的关系。

In propositional calculus system of medium logic ( MP ~ ), superior disjunctive normal form theorem and two corollary have been proved .

本文证明了MP~中的完全析取范式定理及其两个推论。文中也给出了判别Γ（？）

This paper constructs an axiom set based on the medium logic propositional calculus system MP ~ M and gives a proof of its completeness .

本文基于中介逻辑命题演算系统MP~M构造了一个公理集合，证明了该公理集合的完备性。

The propositional calculus system ( MP ~ ) is decidable . Inconsistency of the classical axioms in fuzzy propositional calculus

A在MP~中是否成立的算法。由此MP~是可判定的。经典公理系统在模糊命题演算中的不和谐性

In 1879 , the publication of " Concept Writing " marks the foundation of propositional calculus and the predicate calculus & the basic part of mathematical logic .

1879年《概念文字》的出版，标志着数理逻辑的基础部分&命题演算和谓词演算正式建立。

The Medium Logic Propositional Calculus System MPM and the Medium Logic Predicate Calculus System MFM are new logic systems . They are fit for dealing with incomplete information .

中介逻辑命题演算系统MP~M和中介逻辑谓词演算系统MF~M是一种适用于处理不完全信息的新的逻辑系统。

In this paper , A new retrieval mechanism of database is investigated based on quantified propositional calculus of Fuzzy Logic . It Can be used to process the more general fuzzy database retrieval .

本文从基于模糊逻辑的量化命题演算出发，探究一个新的数据库查询机制，用以处理更一般的量化命题意义的模糊数据库查询。

This paper mainly discusses formal theorm judged algorithm in entailment system propositional calculus Cm and object events in the actual world with the form of deep thinking that it expresses .

本文主要讨论制约系统命题演算Cm中形式定理的判定算法，以及现实世界对象事件和对其思考的形式表示。

Through study of MV-algebra and the Lukasiewicz propositional calculus system , we have simplified the definition of MV-algebra and investigated the relation among some logic algebras .

通过对MV代数和Lukasiewicz命题演算系统的研究，我们对MV代数的定义进行了简化，并讨论了MV代数和其它代数之间的关系。

In this paper , the eighteen formal inference rules of the medium logical propositional calculus system MP are simplified , five of which have been omited and the simplified formal inference rules S 1 which equalize former inference rules S are constituted .

对中介逻辑命题演算系统MP的18条推理规则作了简化，从中删除了5条不独立的推理规则，构成与原推理规则集S等价的形式推理规则集S1。

Truth table , value assignment of reduction to absurdity , truth tree , deductive argumentation and normal form etc. are the methods of judging ( or proving ) tautology in propositional calculus of mathematical logic , but not that of judging inference formula in traditional propositional logic .

真值表、归谬赋值、真值树、演绎证明和范式等方法是数理逻辑命题演算中重言式的判定（或证明）方法，但不是传统命题逻辑推理式的判定方法。

Propositional μ - Calculus Design and Implementation for Temporal Logic Systems

时序系统命题μ演算算法设计与实现